| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmic Cryptography | Fach-/Modulprüfung | 6 | 516962 | ||
| Algorithmic Game Theory | Fach-/Modulprüfung | 6 | 518538 | ||
| Vorlesung | 522520 | Mo 10:30-12:00 5054 (2356|054) (×3) Mo 10:30-12:00 AH III (2350|314.1) (×9) Mo 10:30-12:00 AH V (2356|050) (×1) Di 10:30-12:00 AH II (2350|111) (×12) | |||
| Algorithmic Model Theory I | Fach-/Modulprüfung | 8 | 515396 | ||
| Analysis of Algorithms | Fach-/Modulprüfung | 8 | 515508 | ||
| Combinatorial Optimisation in Scientific Practise | Fach-/Modulprüfung | 9 | 519400 | ||
| Projekt | 514190 | Di 10:00-12:00 Fakultätsseminarraum (2359|U112) (×2) Mi 12:00-20:00 Fakultätsseminarraum (2359|U112) (×1) Do 08:00-20:00 Fakultätsseminarraum (2359|U112) (×1) Fr 08:00-16:00 Fakultätsseminarraum (2359|U112) (×1) Fr 08:30-10:00 5054 (2356|054) (×3) Fr 08:30-10:00 Seminarraum i7, Raum 4116 (2353|116) (×2) | |||
| Compiler Construction | Fach-/Modulprüfung | 6 | 515331 | ||
| Concurrency Theory | Fach-/Modulprüfung | 6 | 515156 | ||
| Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 516588 | ||
| Übung | 521080 | Do 10:30-12:00 5054 (2356|054) (×14) | |||
| Vorlesung | 521079 | Di 12:30-14:00 UMIC_024 (2165|024) (×13) Do 16:30-18:00 5054 (2356|054) (×15) | |||
| Foundations of the UML | Fach-/Modulprüfung | 6 | 518548 | ||
| Graph Algorithms | Fach-/Modulprüfung | 6 | 515613 | ||
| Graph Decompositions and Algorithmic Applications | Fach-/Modulprüfung | 6 | 519091 | ||
| Übung | 521730 | Mo 12:30-14:00 AH I (2350|028) (×14) | |||
| Vorlesung | 521729 | Mi 10:30-12:00 AH III (2350|314.1) (×13) Fr 12:30-14:00 AH III (2350|314.1) (×9) | |||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 515676 | ||
| Übung | 511488 | Mo 12:30-14:00 5056 (2356|056) (×12) Di 13:00-14:00 AH IV (2354|030) (×1) Fr 13:00-14:00 AH IV (2354|030) (×1) | |||
| Vorlesung | 511721 | Mo 12:30-14:00 5056 (2356|056) (×14) Do 12:30-14:00 5056 (2356|056) (×12) | |||
| Logic and Games | Fach-/Modulprüfung | 8 | 517305 | ||
| Fach-/Modulprüfung | 8 | 517304 | |||
| Mathematical Logic II | Fach-/Modulprüfung | 8 | 515392 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 518530 | ||
| Übung | 521372 | Mo 12:30-14:00 5056 (2356|056) (×1) Di 10:45-13:15 5056 (2356|056) (×1) Do 08:30-10:00 AH III (2350|314.1) (×10) Do 09:55-12:30 5056 (2356|056) (×1) | |||
| Vorlesung | 521373 | Mi 12:30-14:00 AH I (2350|028) (×12) Do 10:30-12:00 AH III (2350|314.1) (×14) | |||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 516275 | ||
| Module Complexity Theory | Fach-/Modulprüfung | 6 | 515647 | ||
| Parameterized Algorithms | Fach-/Modulprüfung | 8 | 518531 | ||
| Post-quantum cryptography | Fach-/Modulprüfung | 6 | 517281 | ||
| Vorlesung/Übung | 513330 | Mo 10:30-12:00 AH II (2350|111) (×15) Mi 12:30-14:00 AH III (2350|314.1) (×14) Do 16:30-18:00 AH V (2356|050) (×12) | |||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 515534 | ||
| Satisfiability Checking | Fach-/Modulprüfung | 6 | 515602 | ||
| Vorlesung/Übung | 511645 | Mo 08:30-10:00 AH I (2350|028) (×13) Mo 16:30-17:15 5056 (2356|056) (×14) Di 08:30-10:00 AH V (2356|050) (×13) | |||
| Semantics and Verification of Software | Fach-/Modulprüfung | 6 | 521857 | ||
| Übung | 521376 | Do 16:30-18:00 AH III (2350|314.1) (×11) Do 16:30-18:00 TEMP1 (1515|001) (×1) | |||
| Vorlesung | 521377 | Mo 12:30-14:00 AH II (2350|111) (×13) Di 12:30-14:00 AH II (2350|111) (×12) | |||
| Stochastic Games | Fach-/Modulprüfung | 6 | 545664 | ||
| Übung | 521487 | Do 10:30-12:00 Seminarraum i7, Raum 4116 (2353|116) (×8) | |||
| Vorlesung | 521486 | Di 12:30-14:00 5055 (2356|055) (×13) Fr 11:00-12:30 5056 (2356|056) (×2) |